• Um Método Automático de Prova para a Lógica Paraconsistente,
  by Arthur Buchsbaum
  
  MSc Dissertation
  Pontifical Catholic University of Rio de Janeiro, 1988.
  
  
  Abstract: Tableau systems and their implementation for a sentential and for a quantificational version of a paraconsistent logic defined by da Costa, together with correction and completeness theorems of these systems with respect to the semantics of these logics.

Download (16.860 Kbytes)

• Um Método Automático de Prova para a Lógica Paraconsistente,
  de Arthur Buchsbaum
  
  Dissertação de Mestrado em Informática
  Pontifícia Universidade Católica do Rio de Janeiro, 1988.
  
  
  Resumo: Sistemas de tableaux e implementação para uma versão sentencial e para uma versão quantificacional de uma lógica paraconsistente definida por da Costa, bem como teoremas de correção e completude destes sistemas com respeito às semânticas destas lógicas.

Baixar (16.860 Kbytes)